accessible ordinal number

可达序数